Texas 7th-grader’s underwater robot discovery