Battleships of World War Two: An International Encyclopedia