20150715 city.goa: Tourist jumps off cruise boat into Mandovi; rescued