Eastern Colorado’s 5.25-inch hailstone from last week ‘likely’ the largest on state record, NWS says