Thermococcus aegaeicus sp. nov. and Staphylothermus hellenicus