US judge allows Trump’s AP Oval Office ban to stand over Gulf of Mexico name