Colección: Ionospheric imaging with compressed sensing