Sorry, I went ahead and corrected it before reading this... if Netherlands Antilles is the correct spelling I think we should use it, even if the HAL website claims otherwise since it's clear it's the same place.