Fue nombrado así en honor de Carlos Eugenio Restrepo, presidente de Colombia desde 1910 hasta 1914.