in what month did the mayor from richmond , tx die ?
december