user: Question: What is the name that has July 1823 as the Laid down, and Portsmouth as the built by hm dockyard?
Columns: ['Name', 'Built by HM Dockyard', 'Ordered', 'Laid down', 'Launched']
Types: ['text', 'text', 'text', 'text', 'text']
Sample row: ['Leveret (2nd of name)', 'Portsmouth', '25 March 1823', 'May 1823', '19 February 1825']
SQL:

assistant: SELECT "Name" FROM "Table" WHERE "Laid down" = 'July 1823' AND "Built by HM Dockyard" = 'Portsmouth';