Seattle Mayor Mike McGinn has allocated an additional $400,000 to extend summer police patrols through the end of the year in crime hot spots across the city, reports the Seattle Times. The money will buy about 180 extra officer hours per month, largely through overtime, and comes from better-than-expected city revenues. The mayor had not mentioned concerns about chronic crime and street disorder downtown after Monday's shooting of a bus driver by a street criminal with a history of drug use and mental illness. Police fatally shot the assailant as he tried to commandeer a second bus. Three City Council members criticized the mayor, saying he was downplaying the downtown crime problem. The mayor first said the city was seeing a significant reduction in violent crime downtown, but the Seattle Times found violent-crime numbers to be essentially the same over the past five years.