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