Double rainbow over Central Texas