what king was in robin hood prince of thieves?