Certification giant PADI was sold for $700 million USD to a company called Mandarinfish Holding