How many terrorists survived the 1972 Munich attack