After 20,000 Job Cuts, World's Top Shipyards Brace for More