Pepys’s navy: ships, men, and warfare