CREATE TABLE table_name_96 (name VARCHAR(255), laid_down VARCHAR(255), built_by_hm_dockyard VARCHAR(255))
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"