Thousands of people gathered at Mount Herzl to pay their respects to Lieutenant Colonel Tomer Grinberg, who was killed in a battle against Hamas.