Was that the shortest ceasefire in military history?