My aquarium hobbyist friend found this in his marine tank

Does anyone know what this could be? We reckon it's a pest starfish of some kind? He had recently bought some coral. Its his first time coming across this sort of thing.