The number of times Trump has tweeted about the NFL vs Puerto Rico