Trump formally nominates Matt Gaetz for AG?

This market will resolve to "Yes" if Donald Trump as President of the United States formally nominates Matt Gaetz for Attorney General by January 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". Formal nominations are defined as the submission of a nomination message to the U.S. Senate. The primary resolution source for this market will be official information from the US Senate (see: https://www.senate.gov/legislative/nominations_new.htm) however a consensus of credible reporting may also be used.