Gibraltar Premier Division 1918–1919