Will Trump formally nominate RFK Jr. to the cabinet?

This market will resolve to "Yes" if Donald Trump as President of the United States formally nominates Robert F. Kennedy, Jr. for a Cabinet position by January 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". A Cabinet position is defined as any of the heads of the 15 executive departments or a role formally designated as Cabinet-level by the President. Advisory roles will not qualify for this market. 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.