USS John S. McCain back at sea after 2017 collision