6 of the best holidays by ferry for 2020