CNN Senior Producer Dies While on Vacation