What was informally known as the “Dave Thomas Circle” has been renamed after Negro leagues pitcher Mamie “Peanut” Johnson, where there is now park space and surrounding traffic lanes that are meant to ...