Context: 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?
Answer: SELECT name FROM table_name_23 WHERE ship_type = "battleship" AND date = "may 13, 1915"