It's 250,000 times more people than died at Benghazi