How to ensure a Gaza ceasefire