What is the scientific name for the lizard that walks on water?

There are several types of "Jesus Lizard" all of the family Basiliscus:

• Common basilisk, Basiliscus basiliscus
• Red-headed basilisk, Basiliscus galeritus
• Plumed basilisk, Basiliscus plumifrons
• Striped or Brown Basilisk, Basiliscus vittatus