Bay Area park ranger was killed by her former coworker, officials say

A Bay Area ranger has been identified as the victim in a probable murder-suicide.