Is Gary Cornish done with the sport of boxing after being blasted out by Anthony Joshua?

Apparently Jordan Shimmel has retired after that grueseome ko at the hands of Gassiev... it shook his world!