Repeal DADT or AUMF?