Restrepo, quien fue presidente de Colombia entre 1910 y 1914.