Which means Gasly to Red Bull. So who will be the other McLaren driver: Vandoorne or Norris?