Table schema:
CREATE TABLE Employees (employee_name VARCHAR, role_code VARCHAR)

Question: Show the names of all the employees with role "HR".
SQL: SELECT employee_name FROM Employees WHERE role_code = "HR"