Did Eisenhower or other allied officials involved in planning the D-Day landings get any advice on planning naval invasions from the marine corps?