CREATE TABLE table_name_23 (name VARCHAR(255), ship_type VARCHAR(255), date VARCHAR(255))
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"