Corea, manovre in mare: Washington e Seul schierano tre portaerei nucleari