**UPDATE** WASHINGTON, D.C. (12/20.25) —This update was to correct the production date to Nov. 4,
Get full access to the Ohio County Monitor and support quality local journalism with a $2.99 monthly subscription, which is now discounted 40%! That's only 10 cents per day!
Or log in to read the rest of this content.
