‘Navigational error’ — not lack of fuel — led US sailors into Iranian waters