What was Hispaniola called back then?

http://www.newworldencyclopedia.org/entry/Hispaniola