Theoretical distribution of O+ ions in the martian magnetosphere