Some 3,000 mourners, including Florida Gov. Ron DeSantis, attended the funeral Monday for a police officer shot and killed in the line-of-duty allegedly by a teen robbery suspect out from juvenile lock-up.