uss carl vinson north korea