What was the 2010 Census population of the city in which the Harvey's Resort Hotel Bombing occurred?