한국전쟁과 미국 해군