David Mitchell (Royal Navy officer)