Two F1 drivers wanted the same race number for 2025 - this is what happened