pocket battleship vs heavy cruiser