FILE PHOTO: South Korean naval destroyers sail with the U.S. Navy aircraft carrier USS Carl Vinson