Lightning-generated waves detected at Mars | Synapse