US Navy launches USS Tripoli amphibious assault ship