GULF COAST ECONOMIC DEVELOPMENT DISTRICT INC