Was Prince John autistic?