Lleva su nombre en honor al presidente y médico venezolano José María Vargas.