Books about West Indies -- Discovery and exploration -- Early works to 1800