Lance Stroll, Portuguese GP 2020