Gibraltar Premier Division 1919–1920