Not yet, but Gasly seems like the most logical option. Sainz-Verstappen wasn't working very well considering both of them are a bit....easily heated up, to say it like that
Hartley is no real option I assume and the Red Bull Driver Program doesn't really have any realistic other options. There's Daniel Ticktum, but he doesn't have enough points yet and is not that impressive so far, same thing (but still less impressive) for Neil Verhagen and Nirei Fukuzumi and the others are young teenagers who are in British F4 or karting.