Importance of saline contrast transthoracic echocardiography for evaluating large right-to-left shunt in patent foramen ovale associated with cryptogenic stroke