“a history of the Devonport Naval Base and Dockyard”