Astros mentioned in today’s crossword puzzle