Shamir, Yitzhak (1915-2012)