Judas's real name

I just watched a yt short about judas, apparently his real name is judah? Is this true?