Ramos is beloved among Latinos, and Twitter let Trump know it.