TJM Proprietary Trading, LLC, Michael R. Benson, and John T. Burke