Shipwreck and empire, being an account of Portuguese maritime disasters in a century of decline