Como se chama o navio de guerra com a batalha registrada em 13 de Maio de 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"