When and how to diagnose patent foramen ovale