Abrupt formation and spontaneous resolution of a mobile right atrial thrombus following intraoperative cardiopulmonary resuscitation during da Vinci robotic-assisted surgery: a case report | Synapse