Gulf of Mexico
    n 1: an arm of the Atlantic to the south of the United States
         and to the east of Mexico [syn: Gulf of Mexico, Golfo de
         Mexico]