“Four Republican representatives—Brian Fitzpatrick, Warren Davidson, Tom Massie, and Tom Barrett—voted in favor of the House War Powers resolution.”