From Gulf of Mexico to Gulf of America, New Amsterdam to New York: The politics behind name changes