Will Royal Caribbean ban smoking on its cruise ships?