history of astronomy johnny patrick thomas lyrics music