Aquaman TV Series Has a Name?

AquamanTV.com says that recent casting materials for the Aquaman pilot have a name at the top: "Tempest Key". Keep in mind that this could be a working title.