El USS Carl Vinson, un portaaviones nuclear de EE.UU. que suma tensión en la península coreana