El nombre de Golfo de Venezuela prevalece en otros documentos históricos como el «Diccionario histórico Geográfico de la América Meridional» del jesuita Giandomenico Coleti, de 1771.