US making progress with Iran on Strait of Hormuz, but Trump remains cautious: Rubio