The military operation came hours after the U.S. Treasury revoked a waiver allowing global sales of Iranian oil.