Task: NL2SQL (source dataset: WikiSQL)

Natural language to SQL, also known as NL2SQL, is the problem of generating a SQL query that can be executed on a input table, for a given natural language question.

You will be given an input table called "table" in the markdown format, as well as a question. Your task is to generate an SQL query that can be executed on the input table to answer the question.

Please ensure that the generated SQL only return relevant columns being specifically asked in the question (e.g., in SQL please don't return more than one columns in SELECT if only one column is needed to answer the given question, and similarly please refrain from using SELECT * unless the entire row is needed to answer the question).
 
When generating SQL code, please use the SQLite syntax to ensure that your SQL is executable on SQLite3. Use only columns that are present in the table, always use quotes around your column and table names (some column names have punctuation or special characters), and refer to the columns using the column-names exactly as they appear in the table, do not add or remove punctuation (underscore, slash, etc.)

No explanation, return the code only with the following markdown codeblock format : ```sql<SQL CODE>```. For example, ```sql
SELECT * FROM "table"
``` is a valid format.

Table:
| Name                              | Built by HM Dockyard   | Ordered          | Laid down      | Launched                   |
|:----------------------------------|:-----------------------|:-----------------|:---------------|:---------------------------|
| leveret (2nd of name)             | portsmouth             | 25 march 1823    | may 1823       | 19 february 1825           |
| musquito                          | portsmouth             | 25 march 1823    | may 1823       | 19 february 1825           |
| hearty                            | chatham                | 25 march 1823    | july 1823      | 22 october 1824            |
| myrtle                            | portsmouth             | 25 march 1823    | july 1823      | 14 september 1825          |
| lapwing                           | chatham                | 25 march 1823    | september 1823 | 20 february 1825           |
| sheldrake                         | pembroke               | 25 march 1823    | november 1823  | 19 may 1825                |
| harpy                             | chatham                | 25 march 1823    | march 1824     | 16 july 1825               |
| fairy                             | chatham                | 25 march 1823    | july 1824      | 25 april 1826              |
| skylark                           | pembroke               | 25 march 1823    | may 1825       | 6 may 1826                 |
| espoir                            | chatham                | 25 march 1823    | january 1825   | 9 may 1826                 |
| calypso (2nd of name) (ex hyaena) | chatham                | 25 march 1823    | march 1825     | 19 august 1826             |
| spey                              | pembroke               | 25 march 1823    | july 1825      | 6 october 1827             |
| variable                          | pembroke               | 25 march 1823    | may 1826       | 6 october 1827             |
| briseis (2nd of name)             | deptford               | 25 march 1823    | august 1827    | 3 july 1829                |
| rapid                             | portsmouth             | 25 march 1823    | january 1824   | 17 august 1829             |
| recruit                           | portsmouth             | 25 march 1823    | february 1825  | 17 august 1829             |
| reindeer                          | plymouth               | 25 march 1823    | december 1824  | 29 september 1829          |
| thais                             | pembroke               | 25 march 1823    | july 1828      | 12 october 1829            |
| rolla (2nd of name)               | plymouth               | 25 march 1823    | june 1825      | 10 december 1829           |
| savage                            | plymouth               | 25 march 1823    | october 1829   | 29 december 1830           |
| saracen                           | plymouth               | 25 march 1823    | december 1829  | 30 january 1831            |
| scorpion                          | plymouth               | 25 march 1823    | june 1830      | 28 july 1832               |
| sealark                           | plymouth               | 25 march 1823    | november 1830  | cancelled 10 january 1831  |
| hyaena (ex calypso)               | deptford               | 25 march 1823    | unknown        | cancelled 21 february 1831 |
| termagent                         | portsmouth             | 23 november 1824 | october 1829   | 26 march 1838              |
| lynx                              | portsmouth             | 23 november 1824 | february 1830  | 2 september 1833           |
| nautilus                          | woolwich               | 7 december 1824  | april 1829     | 11 march 1830              |
| curlew                            | woolwich               | 7 december 1824  | november 1829  | 25 february 1830           |
| delight (2nd of name)             | chatham                | 23 may 1826      | august 1827    | 27 november 1829           |
| algerine (2nd of name)            | chatham                | 23 may 1826      | october 1827   | 1 august 1829              |
| griffon (2nd of name)             | chatham                | 23 may 1826      | july 1830      | 11 september 1832          |
| forester (2nd of name)            | chatham                | 23 may 1826      | september 1830 | 28 august 1832             |
| partridge (2nd of name)           | pembroke               | 28 october 1826  | august 1828    | 12 october 1829            |
| wizard                            | pembroke               | 28 october 1826  | october 1829   | 24 may 1830                |
| charybdis                         | portsmouth             | 28 october 1826  | december 1829  | 27 february 1831           |
| buzzard                           | portsmouth             | 28 october 1826  | december 1829  | 23 march 1834              |
| foxhound                          | plymouth               | 28 october 1826  | unknown        | cancelled 21 february 1831 |
| helena                            | plymouth               | 28 october 1826  | unknown        | cancelled 21 february 1831 |

Question: What is the name that has July 1823 as the Laid down, and portsmouth as the built by hm dockyard?

table_id: 2-15421158-4
label: SELECT "Name" FROM "table" WHERE "Laid down" = "july 1823" AND "Built by HM Dockyard" = "portsmouth"