Why did SeaWorld file against the DoL for the OSHA worker ?
In late May 2012 , Judge Ken S. Welsch formally sided with OSHA over SeaWorld 's killer whale safety practices following the death of Dawn Brancheau .