a surplus government equipment online marketplace that ran the auction from Dec. 17 through Dec. 20. Patrick noted that Texas became aware of the materials slated for auction on Dec. 12 ...