“A longer version of an Authorization for Use of Military Force bill, proposed by Senator Tom Tillis, would extend the authorization for one year.”