El Paso Zoo's Oldest Sea Lion Dies, Community Mourns