Another source noted that the official estimate was 132 people killed.
Sumber lain mencatat bahwa menurut perkiraan resmi, 130 orang tewas.