Nobody can see the nickname except for the owner of that Pokémon, so nobody else who saw that gym would have seen it being named “The Donald”...