Beto O’Rourke is running for president in 2020