Will the federal government start mining Bitcoin?

In 2025 If the federal government (or an entity of it) announces that it will begin to, or has begun, bitcoin mining operations before Jan 1, 2027, then the market resolves to Yes. “Bitcoin mining” means the process whereby a computer system or specialized hardware (e.g., ASIC miners) is used to validate transactions and add blocks to the Bitcoin blockchain in return for newly issued bitcoins. This market will close and expire early if the event occurs.