Is the F-15 allowed to fly over the ocean? I thought that was owned by the Navy.