Имя Ира(мужское;еврейско­е или арамейское) правда есть такое?

Наткнулось на то что имя Ира может быть мужским именем(то ли оно еврейское или арамейское). еврейское (עִירָא) "бодрый, бессонный". В Ветхом Завете это имя носил воин короля Давида. Или нет такого имени и все это не правда?