Marine and Shipbuilding Workers of America, International Union of