Hey I was hiking in Big Sur a couple days ago and saw a pretty little (about a foot long) greenish snake with a red belly. Unfortunately, it was way too fast for me to get out my camera, but anyone have any ideas what it could be?