El nombre de Coca proviene del nombre original de la ciudad: San Antonio de la Coca.