Paradoxical air embolism in pigs with a patent foramen ovale.