Here’s how to suggest new name for Hopkins Pool in DeKalb