Anyone lose a prescription mask??

From a FB post: "Good afternoon. If anyone knows someone that lost a prescription snorkel mask in the vicinity of Cistern Rock at Cooper Island recently, we have it on yacht reAction."