A file picture of the guided missile destroyer the USS John S McCain. The warship patrolled near Mischief Reef in the South China Sea. Photo: AFP