How many civilians were killed in the bombing?