Here's the settlement Musk could have taken from the SEC