Did Archimedes light Roman ships on fire using sunlight? A 13-year-old found out