Oil rig explosion in the Gulf of Mexico kills one, injures 3 others