How many people not on Pan Am Flight 103 were killed by its destruction?