Gray skies poured over Spring Hill as Gov. Rick Scott, law enforcement officers from across the state and hundreds of others gathered to mourn the death of Hernando County Sheriff's Deputy John Mecklenburg.