"The port is a public agency created by the state and overseen by a seven-member board, which includes Tampa Mayor Bob Buckhorn and Hillsborough County Commissioner Sandy Murman." . . . .