What was the US battleship upon which the Japanese formally surrendered?