Oil markets tumble as Trump pauses Strait of Hormuz operation.