Trump should not ease pressure on Iran, WSJ editorial says