A imagem precedente mostra as rotas aéreas entre Brasil e Portugal, bem como outras rotas que interligam a capital portuguesa, Lisboa, a outros países na África, na América e na Europa. Grande parte do trajeto aéreo entre Brasília e Lisboa é feita sobre o Oceano Atlântico e o percurso demora 9 horas para ser cumprido. Em Portugal, entre os meses de março a outubro de cada ano, vige o horário de verão e os relógios são adiantados em uma hora em relação ao fuso horário local. Enquanto o horário de verão está suspenso tanto no Brasil quanto em Portugal, a diferença entre os fusos horários de Brasília e Lisboa é de 3 horas.
Considerando as informações apresentadas no texto, assinale a opção correta no item seguinte.
Caso um avião comercial parta, em 4/6/2018, do aeroporto de Brasília, às 17:00 horas (horário local), com destino a Lisboa, a previsão é que o pouso ocorra, no horário de Lisboa, às