Official: Reports of flooding at federal courthouse in Tyler