Customs Service. Executive order, designating St. Petersburg, Fla., as customs port of entry.

Tools