With Iran ceasefire "over," Trump shifts to battle for Hormuz