A ceasefire in Gaza is welcome. But it should have come much sooner.