May 20, 2025: Ohio congressman introduces bill to study ‘Trump Derangement Syndrome’