Los cruceros «The World», «Seven Seas Explorer» y «Celebrity Infinity» planean realizar llegadas técnicas a Gibraltar los días 19 y 20 de mayo de 2020.
El crucero «The World» atracará para operaciones de bunkering y aprovisionamiento, mientras que el «Seven Seas Explorer» estará fondeando. Ambos cruceros se esperan para el 19 de mayo de 2020.
El «Celebrity Infinity» se espera su llegada para el 20 de mayo de 2020 y también llevará a cabo operaciones de bunkering.

