The Dutch three-decker Prins Wilhelm III