Gibraltar FA marks International Workers' Memorial Day