OHIO Hockey announces Lionel Mauron as head coach