García de Carvajal daba su nombre al primer puerto que existió en el Lago de Maracaibo.