Judge sides with DeSantis aides in public travel records suit: report