The name given by Columbus to the island now divided between the Republics of Hayti and San Domingo. See AMERICA: A. D. 1492; 1493-1496, and after; and HAYTI.