US official says there is progress on Iran-Oman on Strait of Hormuz