La denominación de Isla de León es anterior a 1729.