Which employees have the role with code "HR"? Find their names.
select employee_name from employees where role_code = "HR"