Who piloted the Death Star? Was it a team of Imperial Navy marines or some other Imperial unit?

NOTE: I'm fairly sure that its *not* Gary the Stormtrooper:
https://www.youtube.com/watch?v=02IBDoIOpJE