Radar-based observation of a lava tube on Venus | Synapse