CREATE TABLE table_name_96 (name VARCHAR, laid_down VARCHAR, built_by_hm_dockyard VARCHAR)

What is the name that has July 1823 as the Laid down, and portsmouth as the built by hm dockyard?
SELECT name FROM table_name_96 WHERE laid_down = "july 1823" AND built_by_hm_dockyard = "portsmouth"
SELECT "name" FROM "table_name_96" WHERE "built_by_hm_dockyard" = "portsmouth" AND "july 1823" = "laid_down"