Emergency services crews rescued five missing divers near Jupiter, Florida, on May 24.

The Palm Beach County Sheriff’s Office said seven divers were separate from a dive boat earlier in the day. While two of them were quickly found and sent to a local marina, five others went missing. Air crews later spotted the five and a marine unit got to them. The dive boat eventually arrived on the scene and picked up the divers, as seen in this footage.