Detecting large venusquakes from autonomous "air"ships