The shortest recorded war in history