Royal Dutch Shell said Tuesday that production at four oil platforms in the Gulf of Mexico has been shut in the wake of a Nov. 8 fire