Battleships of World War Two : an international encyclopedia