Gibraltar Premier Division 1922–1923