I do believe that Puerto la Cruz is the name of a northern Venezuelan city (and sea port), in the state of Anzoátegui.