A passenger on a Royal Caribbean cruise went overboard Sunday night in the Florida Keys.

Did A Man Jump Overboard?

A search was still underway on Tuesday for man who fell overboard from the Liberty of the Seas cruise ship 20 miles off the coast of Marathon, Fla. The U.S. Coast Guard has taken over the search, which began Sunday. Royal Caribbean was originally assisting in the search, along with two Canadian Coast Guard ships and a Coast Guard cutter, but continued on its trip as scheduled and docked in Port everglades on Monday morning.

The passenger, who has only been identified as a man in his 40s, jumped off the cruise ship according to an official statement by Royal Caribbean. However, the Coast Guard reported that it was unclear whether or not the man had jumped or fallen.

“A review of the ship’s closed-circuit camera footage observed a 47-year-old male guest from the U.S. climbing over the railing and going overboard from deck 12. The location of the ship at the time the guest went overboard was marked on the ship’s (GPS), and the ship, along with the Coast Guard, conducted a search for the missing guest,” reads the statement from Royal Caribbean.