naval shipyards (300000472) 'distinguished from' dockyards (300120803);