Social media in the age of “patriotic trolling.”