Search for Man Who Jumped From Cruise Ship Called Off

The Coast Guard has called off its search for a 35-year-old Brazilian man who intentionally jumped of a Royal Caribbean cruise ship Friday in the Bahamas, NBC News reports. The search was called off Saturday, but not until more than 930 square nautical miles had been searched by boats, a plane, and a helicopter. "We would like to extend our deepest condolences to the loved ones and all that have been affected by this tragedy," Fox News quotes a Coast Guard official. Passengers and crew members watched as the man held onto a lifeboat attached to the cruise ship before plunging into the water below. The incident was caught on video. (More cruise ships stories.)