Petty Officer Greg Lukes' death linked to Sea King service