Bloody shame, but given the location there really wasn't any option of safely darting them, particularly in the night. Must have been terrifying for the locals, and why oh why did he have to have Bengal bloody Tigers, they're rare enough as it is!
The laws in Ohio need to change, definitely, we had such laws back in the sixties and you used to see people taking a panther down to the shops, thankfully we changed that...however that resulted in a lot of people just releasing their big cats into the wild where many still remain to this day.