Is the Florida blue one a Thamnophis sauritus (ribbon)?