,mike johnson, republican party, speaker of the united states house of representatives, thomas massie articles