Carnival to launch four new cruise ships in 2020