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"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: what is the name of the battleship with the battle listed on May 13, 1915? ### Input: CREATE TABLE table_name_23 (
    name VARCHAR,
    ship_type VARCHAR,
    date VARCHAR
) ### Response: SELECT name FROM table_name_23 WHERE ship_type = "battleship" AND date = "may 13, 1915"