Text this: Shifts in Maritime Trade Routes as a Result of Red Sea Shipping Crisis Detected in TROPOMI NO2 Data