Table schema:
CREATE TABLE table_name_96 (name VARCHAR, laid_down VARCHAR, built_by_hm_dockyard VARCHAR)

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