Pressure Broadening of the Rotational Line of Oxygen at 425 GHz