US Navy intervened to stop Iran seizing two tankers in Gulf of Oman, US defense official says