Record rainfall recorded in Galveston on Labor Day