Marine gas turbines