Marten (not Maarten) Harpertsz. Tromp is the correct historical name of admiral Tromp, also used to inaugurate this ship.
