what is the name of the battleship with the battle listed on May 13, 1915?
CREATE TABLE table_name_23 (name VARCHAR, ship_type VARCHAR, date VARCHAR)
SELECT name FROM table_name_23 WHERE ship_type = "battleship" AND date = "may 13, 1915"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_23 (name VARCHAR, ship_type VARCHAR, date VARCHAR) Question: what is the name of the battleship with the battle listed on May 13, 1915? [/INST] SELECT name FROM table_name_23 WHERE ship_type = "battleship" AND date = "may 13, 1915" </s>