How many battleships did the UK Navy lose at Pearl Harbor?