But Trump could once again be open to targeting additional Iranian energy facilities depending on Tehran's future actions in strategic waterway - WSJ