Pulmonary embolism with paradoxical embolization to right coronary artery in the presence of a large patent foramen ovale: a case report | Synapse