Mark Lawrence ran in the US Senate election that was held on what date?