Luis de Leon previously chief operating officer for Bucyrus