Correction

It seems that the snake is in fact an olive grass snake (only mildly venomous), not a cobra after all.  Apparently, people divide snakes into cobras and mambas, both potentially deadly, so not a surprise that they are so swiftly dispatched!