WSJ: Trump May Actually Win the Hormuz Crisis — By Mooting It