user: Question: what is the name of the Battleship with the battle listed on May 13, 1915?
Columns: ['Estimate', 'Name', 'Nat.', 'Ship Type', 'Principal victims', 'Date']
Types: ['real', 'text', 'text', 'text', 'text', 'text']
Sample row: [1255.0, 'HMS Queen Mary', 'UK', 'Battlecruiser', 'Crew', 'May 31, 1916']
SQL:

assistant: SELECT "Name" FROM "Table" WHERE "Ship Type" = 'Battleship' AND "Date" = 'May 13, 1915';