Though Trump knew Iran may close Hormuz Strait, he ordered war: WSJ - Tehran Times