Wikipedia calls it Sint Maarten. As a Dutch-speaking country, it uses the Dutch form of Saint Martin’s name. While the other half of the island, which belongs to France, does use the spelling ‘Saint-Martin’, the airport near which this incident occurred is in the Dutch half.