Pentagon relieved to discover tankers in Gulf Of Oman just collided with US Navy warships