Which bill has the better acronym, the MAR-A-LAGO Act or the NO TRUMP Act?