How to travel abroad safely in summer 2020 (the Covid-19 edition)