Excuse me, but I'm a bit confused about the connection between Patrick Mahomes and Formula 1 teams. As I understand, Patrick Mahomes is a well-known American football quarterback for the Kansas City Chiefs in the National Football League (NFL), not an investor or owner in the world of Formula 1 racing. Could you please clarify if there's been any recent news or announcement that I might have missed, linking Patrick Mahomes to ownership of an F1 team? It's quite an unusual combination, so I'm genuinely curious to learn more.