Trump halts U.S. bombing of Yemen’s Houthis after rebels agree to stop attacking American ships.