Title: Existence and Uniqueness of Solutions to a Class of Nonlinear-Operator-Differential Equations Arising in Automated Spaceship Navigation