Girl, 17, killed in shark attack while swimming off popular tourist beach