The pathology of air embolism of the brain in divers