where did the battle of the philippine sea take place