Police release name of American teen killed in terror attack