MAE SAI, Thailand — “Everyone is safe.” With those three words posted on Facebook the daring rescue mission to extricate 12 boys and their soccer coach from the treacherous confines of a flooded cave in Thailand came to a close on Tuesday — a grueling 18-day ordeal that claimed the life of an experienced diver and riveted people worldwide.

Thailand’s Navy SEALs, who were central to the rescue effort, celebrated the feat with a post that read: “All the thirteen Wild Boars are now out of the cave,” — a reference to the boys’ soccer team. “We are not sure if this is a miracle, a science, or what.”

Eight of the boys were rescued by a team of Thai and international divers on Sunday and Monday. On Tuesday, the final four boys were brought out, along with their coach. Their rescue was followed a few hours later by the safe return of a medic and three SEAL divers.