I have yet to make up my mind which is the greater disaster: Donald Trump being elected US President or the name of my hometown's baseball team being changed to the Jacksonville Jumbo Shrimp. Actually, I think it's the latter. There's always a possibility Trump could resign or be impeached, but the good people of Jacksonville are probably going to be stuck with the Jumbo Shrimp moniker for many years. Being a racist, xenophobic, misogynistic fascist is one thing. Being a featured item at a seafood market is yet another.