The Japanese Navy Wanted These Battleships, But At What Cost