Write the names of the following definitions.
the branch of the army operating at sea