Under industry standards, English is the default language of the sea. An oil rig worker onshore who is fired by the tool pusher -- the installation or rig manager -- will find that his ...