This story was originally published by ProPublica. At first glance, July 24, 2015, seems to have been a brutal trading day for Steve Ballmer, the former Microsoft CEO. He dumped hundreds of stocks, losing at least $28 million. But this was no panicked sell-off. Among the stocks Ballmer sold were those of the Australian mining company BHP and the global oil giant Shell. Had Ballmer lost confidence…