ramos red card vs city