El apéndice "de Ocampo" se adoptó en honor de Melchor Ocampo, que vivió brevemente en la mitad del siglo XIX.